#include "kernel_port.h"
#include "loop.h"

int main()
{
    systick_config();
    loop();
    while(1)
    {
    }
}



